<%
	// Se hace una redireccion al servlet de GatoRojo.
	response.sendRedirect("GatoRojo");
%>